Integrals 501 to 600

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

391 391 399 0 0 0 0 0 0

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.235 0.893 0.000 0.000 0.000 0.000 0.000 0.000

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

256 256 225 0 0 0 0 0 0

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.164 0.376 0.000 0.000 0.000 0.000 0.000 0.000

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

152 152 115 0 0 0 0 0 0

N.S.

1 1.00 0.76 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.094 0.225 0.000 0.000 0.000 0.000 0.000 0.000

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 40 41 36 0 57 0 0 0

N.S.

1 1.00 1.02 0.90 0.00 1.42 0.00 0.00 0.00

time (sec)

N/A 0.031 0.057 0.263 0.000 0.241 0.000 0.000 0.000

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 19 21 0 24 21 21

N.S.

1 1.00 1.09 0.83 0.91 0.00 1.04 0.91 0.91

time (sec)

N/A 0.073 1.914 0.260 0.412 0.000 25.933 0.347 2.693

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 19 21 0 0 21 21

N.S.

1 1.00 1.09 0.83 0.91 0.00 0.00 0.91 0.91

time (sec)

N/A 0.075 1.994 0.334 0.400 0.000 0.000 0.359 2.766

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

296 296 262 0 0 0 0 0 0

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.288 0.354 0.000 0.000 0.000 0.000 0.000 0.000

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

182 182 122 0 0 0 0 0 0

N.S.

1 1.00 0.67 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.092 0.154 0.000 0.000 0.000 0.000 0.000 0.000

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 43 36 0 57 0 0 0

N.S.

1 1.00 1.02 0.86 0.00 1.36 0.00 0.00 0.00

time (sec)

N/A 0.033 0.056 0.268 0.000 0.249 0.000 0.000 0.000

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 19 21 0 0 21 21

N.S.

1 1.00 1.09 0.83 0.91 0.00 0.00 0.91 0.91

time (sec)

N/A 0.066 1.854 0.267 0.405 0.000 0.000 0.353 2.541

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 19 21 0 0 21 21

N.S.

1 1.00 1.09 0.83 0.91 0.00 0.00 0.91 0.91

time (sec)

N/A 0.066 2.024 0.307 0.407 0.000 0.000 0.384 2.655

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

235 235 171 0 0 0 0 0 0

N.S.

1 1.00 0.73 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.253 0.750 0.000 0.000 0.000 0.000 0.000 0.000

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

355 355 229 0 0 0 0 0 0

N.S.

1 1.00 0.65 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.264 0.810 0.000 0.000 0.000 0.000 0.000 0.000

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

235 235 160 0 0 0 0 0 0

N.S.

1 1.00 0.68 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.164 0.497 0.000 0.000 0.000 0.000 0.000 0.000

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 28 28 26 0 28

N.S.

1 1.00 1.07 0.93 1.00 1.00 0.93 0.00 1.00

time (sec)

N/A 0.369 0.298 0.222 0.406 0.262 2.233 0.000 2.618

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 28 28 27 0 28

N.S.

1 1.00 1.07 0.93 1.00 1.00 0.96 0.00 1.00

time (sec)

N/A 0.243 0.334 0.226 0.406 0.264 4.094 0.000 2.600

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

616 616 429 0 0 0 0 0 0

N.S.

1 1.00 0.70 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.449 2.342 0.000 0.000 0.000 0.000 0.000 0.000

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

542 542 390 0 0 0 0 0 0

N.S.

1 1.00 0.72 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.370 1.498 0.000 0.000 0.000 0.000 0.000 0.000

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

420 420 288 0 0 0 0 0 0

N.S.

1 1.00 0.69 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.260 1.092 0.000 0.000 0.000 0.000 0.000 0.000

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 28 28 26 0 28

N.S.

1 1.00 1.07 0.93 1.00 1.00 0.93 0.00 1.00

time (sec)

N/A 0.716 0.362 0.211 0.405 0.290 125.890 0.000 2.557

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 28 28 0 0 28

N.S.

1 1.00 1.07 0.93 1.00 1.00 0.00 0.00 1.00

time (sec)

N/A 0.528 0.946 0.221 0.403 0.262 0.000 0.000 2.562

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

816 816 667 0 0 0 0 0 0

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.554 5.616 0.000 0.000 0.000 0.000 0.000 0.000

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

745 745 685 0 0 0 0 0 0

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.470 2.329 0.000 0.000 0.000 0.000 0.000 0.000

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

632 632 529 0 0 0 0 0 0

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.349 3.996 0.000 0.000 0.000 0.000 0.000 0.000

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 28 53 0 0 28

N.S.

1 1.00 1.07 0.93 1.00 1.89 0.00 0.00 1.00

time (sec)

N/A 1.171 0.398 0.189 0.426 0.260 0.000 0.000 2.440

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 28 53 0 0 28

N.S.

1 1.00 1.07 0.93 1.00 1.89 0.00 0.00 1.00

time (sec)

N/A 0.897 0.654 0.225 0.432 0.260 0.000 0.000 2.557

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 23 23 22 23 23

N.S.

1 1.00 1.09 0.91 1.00 1.00 0.96 1.00 1.00

time (sec)

N/A 0.076 0.650 0.129 0.374 0.254 3.799 0.412 2.616

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

113 113 100 0 0 0 0 0 0

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.176 0.158 0.000 0.000 0.000 0.000 0.000 0.000

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

80 80 86 0 0 0 0 0 0

N.S.

1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.143 0.212 0.000 0.000 0.000 0.000 0.000 0.000

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

49 49 43 0 0 0 0 0 0

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.080 0.101 0.000 0.000 0.000 0.000 0.000 0.000

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 18 17 83 34 29 33

N.S.

1 1.00 1.00 1.06 1.00 4.88 2.00 1.71 1.94

time (sec)

N/A 0.028 0.011 0.272 0.194 0.268 0.357 0.275 2.933

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 23 31 20 23 23

N.S.

1 1.00 1.09 0.91 1.00 1.35 0.87 1.00 1.00

time (sec)

N/A 0.070 5.709 0.108 0.365 0.265 0.678 0.428 2.683

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 23 33 22 23 23

N.S.

1 1.00 1.09 0.91 1.00 1.43 0.96 1.00 1.00

time (sec)

N/A 0.068 1.858 0.108 0.395 0.266 1.044 0.422 2.732

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

416 416 361 0 0 0 0 0 0

N.S.

1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.428 2.791 0.000 0.000 0.000 0.000 0.000 0.000

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

304 304 273 0 0 0 0 0 0

N.S.

1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.242 2.825 0.000 0.000 0.000 0.000 0.000 0.000

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

147 147 233 0 0 0 0 0 0

N.S.

1 1.00 1.59 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.132 1.261 0.000 0.000 0.000 0.000 0.000 0.000

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

158 158 227 0 0 0 0 0 0

N.S.

1 1.00 1.44 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.206 1.520 0.000 0.000 0.000 0.000 0.000 0.000

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

181 181 283 0 0 0 0 0 0

N.S.

1 1.00 1.56 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.282 2.550 0.000 0.000 0.000 0.000 0.000 0.000

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

187 187 141 0 219 548 0 0 0

N.S.

1 1.00 0.75 0.00 1.17 2.93 0.00 0.00 0.00

time (sec)

N/A 0.222 1.510 0.000 0.230 0.323 0.000 0.000 0.000

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

459 459 683 0 0 0 0 0 0

N.S.

1 1.00 1.49 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.308 3.170 0.000 0.000 0.000 0.000 0.000 0.000

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

247 247 352 0 0 0 0 0 0

N.S.

1 1.00 1.43 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.182 2.377 0.000 0.000 0.000 0.000 0.000 0.000

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

304 304 273 0 0 0 0 0 0

N.S.

1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.248 2.940 0.000 0.000 0.000 0.000 0.000 0.000

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

266 266 344 0 0 0 0 0 0

N.S.

1 1.00 1.29 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.330 5.473 0.000 0.000 0.000 0.000 0.000 0.000

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

284 284 514 0 0 0 0 0 0

N.S.

1 1.00 1.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.332 7.011 0.000 0.000 0.000 0.000 0.000 0.000

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

364 364 706 0 0 0 0 0 0

N.S.

1 1.00 1.94 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.271 9.809 0.000 0.000 0.000 0.000 0.000 0.000

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

344 344 481 0 0 0 0 0 0

N.S.

1 1.00 1.40 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.216 2.762 0.000 0.000 0.000 0.000 0.000 0.000

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

459 459 683 0 0 0 0 0 0

N.S.

1 1.00 1.49 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.316 3.162 0.000 0.000 0.000 0.000 0.000 0.000

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

416 416 565 0 0 0 0 0 0

N.S.

1 1.00 1.36 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.393 2.569 0.000 0.000 0.000 0.000 0.000 0.000

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

381 381 465 0 0 0 0 0 0

N.S.

1 1.00 1.22 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.437 7.175 0.000 0.000 0.000 0.000 0.000 0.000

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

518 518 779 0 0 0 0 0 0

N.S.

1 1.00 1.50 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.279 9.864 0.000 0.000 0.000 0.000 0.000 0.000

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

472 472 1005 0 0 0 0 0 0

N.S.

1 1.00 2.13 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.314 12.468 0.000 0.000 0.000 0.000 0.000 0.000

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

381 381 465 0 0 0 0 0 0

N.S.

1 1.00 1.22 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.470 7.342 0.000 0.000 0.000 0.000 0.000 0.000

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

266 266 344 0 0 0 0 0 0

N.S.

1 1.00 1.29 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.323 5.552 0.000 0.000 0.000 0.000 0.000 0.000

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

158 158 227 0 0 0 0 0 0

N.S.

1 1.00 1.44 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.212 1.760 0.000 0.000 0.000 0.000 0.000 0.000

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

59 59 113 0 32 0 0 0 0

N.S.

1 1.00 1.92 0.00 0.54 0.00 0.00 0.00 0.00

time (sec)

N/A 0.120 1.225 0.000 0.211 0.000 0.000 0.000 0.000

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

111 111 113 0 98 443 0 0 0

N.S.

1 1.00 1.02 0.00 0.88 3.99 0.00 0.00 0.00

time (sec)

N/A 0.164 0.874 0.000 0.304 0.305 0.000 0.000 0.000

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

295 295 143 0 233 576 0 0 0

N.S.

1 1.00 0.48 0.00 0.79 1.95 0.00 0.00 0.00

time (sec)

N/A 0.231 1.020 0.000 0.305 0.341 0.000 0.000 0.000

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

517 517 781 0 0 0 0 0 0

N.S.

1 1.00 1.51 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.297 10.367 0.000 0.000 0.000 0.000 0.000 0.000

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

283 283 515 0 0 0 0 0 0

N.S.

1 1.00 1.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.330 7.292 0.000 0.000 0.000 0.000 0.000 0.000

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

180 180 285 0 0 0 0 0 0

N.S.

1 1.00 1.58 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.283 2.711 0.000 0.000 0.000 0.000 0.000 0.000

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

112 112 94 0 98 443 0 0 0

N.S.

1 1.00 0.84 0.00 0.88 3.96 0.00 0.00 0.00

time (sec)

N/A 0.176 1.094 0.000 0.298 0.302 0.000 0.000 0.000

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

103 103 118 0 82 0 0 0 0

N.S.

1 1.00 1.15 0.00 0.80 0.00 0.00 0.00 0.00

time (sec)

N/A 0.138 1.193 0.000 0.210 0.000 0.000 0.000 0.000

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

282 282 201 0 237 0 0 0 0

N.S.

1 1.00 0.71 0.00 0.84 0.00 0.00 0.00 0.00

time (sec)

N/A 0.207 1.493 0.000 0.229 0.000 0.000 0.000 0.000

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F(-2) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

470 470 1083 0 0 0 0 0 0

N.S.

1 1.00 2.30 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.308 15.416 0.000 0.000 0.000 0.000 0.000 0.000

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

362 362 706 0 0 0 0 0 0

N.S.

1 1.00 1.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.265 10.023 0.000 0.000 0.000 0.000 0.000 0.000

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

185 185 131 0 220 548 0 0 0

N.S.

1 1.00 0.71 0.00 1.19 2.96 0.00 0.00 0.00

time (sec)

N/A 0.207 1.749 0.000 0.213 0.326 0.000 0.000 0.000

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

294 294 139 0 232 576 0 0 0

N.S.

1 1.00 0.47 0.00 0.79 1.96 0.00 0.00 0.00

time (sec)

N/A 0.239 1.059 0.000 0.319 0.332 0.000 0.000 0.000

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

282 282 202 0 237 0 0 0 0

N.S.

1 1.00 0.72 0.00 0.84 0.00 0.00 0.00 0.00

time (sec)

N/A 0.220 1.431 0.000 0.235 0.000 0.000 0.000 0.000

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

203 203 193 0 159 0 0 0 0

N.S.

1 1.00 0.95 0.00 0.78 0.00 0.00 0.00 0.00

time (sec)

N/A 0.168 1.260 0.000 0.227 0.000 0.000 0.000 0.000

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

680 680 890 0 0 0 0 0 0

N.S.

1 1.00 1.31 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.735 3.597 0.000 0.000 0.000 0.000 0.000 0.000

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

508 508 705 0 0 0 0 0 0

N.S.

1 1.00 1.39 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.438 3.234 0.000 0.000 0.000 0.000 0.000 0.000

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

244 244 352 0 0 0 0 0 0

N.S.

1 1.00 1.44 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.232 1.877 0.000 0.000 0.000 0.000 0.000 0.000

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

259 259 315 0 0 0 0 0 0

N.S.

1 1.00 1.22 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.349 2.712 0.000 0.000 0.000 0.000 0.000 0.000

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

544 544 594 0 0 0 0 0 0

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.726 5.325 0.000 0.000 0.000 0.000 0.000 0.000

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-1) F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

518 518 783 0 0 0 0 0 0

N.S.

1 1.00 1.51 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.799 9.855 0.000 0.000 0.000 0.000 0.000 0.000

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

774 774 1084 0 0 0 0 0 0

N.S.

1 1.00 1.40 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.578 4.435 0.000 0.000 0.000 0.000 0.000 0.000

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

396 396 524 0 0 0 0 0 0

N.S.

1 1.00 1.32 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.326 3.191 0.000 0.000 0.000 0.000 0.000 0.000

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

508 508 705 0 0 0 0 0 0

N.S.

1 1.00 1.39 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.427 3.091 0.000 0.000 0.000 0.000 0.000 0.000

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

436 436 532 0 0 0 0 0 0

N.S.

1 1.00 1.22 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.457 8.523 0.000 0.000 0.000 0.000 0.000 0.000

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

752 752 1174 0 0 0 0 0 0

N.S.

1 1.00 1.56 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.780 14.851 0.000 0.000 0.000 0.000 0.000 0.000

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F(-1) F F F(-2) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

580 580 1609 0 0 0 0 0 0

N.S.

1 1.00 2.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.834 17.155 0.000 0.000 0.000 0.000 0.000 0.000

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

548 548 735 0 0 0 0 0 0

N.S.

1 1.00 1.34 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.420 3.945 0.000 0.000 0.000 0.000 0.000 0.000

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

774 774 1084 0 0 0 0 0 0

N.S.

1 1.00 1.40 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.578 4.634 0.000 0.000 0.000 0.000 0.000 0.000

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

680 680 890 0 0 0 0 0 0

N.S.

1 1.00 1.31 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.783 3.725 0.000 0.000 0.000 0.000 0.000 0.000

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

615 615 723 0 0 0 0 0 0

N.S.

1 1.00 1.18 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.539 14.047 0.000 0.000 0.000 0.000 0.000 0.000

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

972 972 2492 0 0 0 0 0 0

N.S.

1 1.00 2.56 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.928 23.484 0.000 0.000 0.000 0.000 0.000 0.000

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F(-1) F F(-1) F(-2) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

790 790 2622 0 0 0 0 0 0

N.S.

1 1.00 3.32 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.987 24.699 0.000 0.000 0.000 0.000 0.000 0.000

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

615 615 723 0 0 0 0 0 0

N.S.

1 1.00 1.18 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.548 13.876 0.000 0.000 0.000 0.000 0.000 0.000

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

436 436 529 0 0 0 0 0 0

N.S.

1 1.00 1.21 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.428 8.546 0.000 0.000 0.000 0.000 0.000 0.000

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

259 259 315 0 0 0 0 0 0

N.S.

1 1.00 1.22 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.345 2.638 0.000 0.000 0.000 0.000 0.000 0.000

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F A F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

59 59 168 0 53 0 0 0 0

N.S.

1 1.00 2.85 0.00 0.90 0.00 0.00 0.00 0.00

time (sec)

N/A 0.191 2.258 0.000 0.228 0.000 0.000 0.000 0.000

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

464 464 508 0 0 0 0 0 0

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.539 3.263 0.000 0.000 0.000 0.000 0.000 0.000

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-1) F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

942 942 524 0 0 0 0 0 0

N.S.

1 1.00 0.56 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.929 6.914 0.000 0.000 0.000 0.000 0.000 0.000

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F(-2) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

972 972 2143 0 0 0 0 0 0

N.S.

1 1.00 2.20 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.929 25.043 0.000 0.000 0.000 0.000 0.000 0.000

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-2) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

752 752 1346 0 0 0 0 0 0

N.S.

1 1.00 1.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.759 17.842 0.000 0.000 0.000 0.000 0.000 0.000

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

544 544 530 0 0 0 0 0 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.685 6.688 0.000 0.000 0.000 0.000 0.000 0.000

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

464 464 511 0 0 0 0 0 0

N.S.

1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.510 3.163 0.000 0.000 0.000 0.000 0.000 0.000

Problem 598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

224 224 488 0 0 0 0 0 0

N.S.

1 1.00 2.18 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.300 3.046 0.000 0.000 0.000 0.000 0.000 0.000

Problem 599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

743 743 754 0 0 0 0 0 0

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.640 9.913 0.000 0.000 0.000 0.000 0.000 0.000

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F(-1) F F(-1) F(-2) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

794 794 2552 0 0 0 0 0 0

N.S.

1 1.00 3.21 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.981 24.350 0.000 0.000 0.000 0.000 0.000 0.000